大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings

0
索取号：
作者：Ma、 Yan.、Choi、 Deokjai.、Ata、 Shingo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

0
索取号：
作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Information Technologies in Environmental Engineering [electronic resource] : Proceedings of the 4th International ICSC Symposium Thessaloniki, Greece, May 28-29, 2009

0
索取号：
作者：Athanasiadis、 Ioannis N.、Rizzoli、 Andrea E.、Mitkas、 Pericles A.、G贸mez、 Jorge Marx.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings

0
索取号：
作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

0
索取号：
作者：Liu、 Shaoying.、Maibaum、 Tom.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

0
索取号：
作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Architecture [electronic resource] : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

0
索取号：
作者：Morrison、 Ron.、Balasubramaniam、 Dharini.、Falkner、 Katrina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

0
索取号：
作者：Chaudron、 Michel R. V.、Szyperski、 Clemens.、Reussner、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Quality of Software Architectures. Models and Architectures [electronic resource] : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

0
索取号：
作者：Becker、 Steffen.、Plasil、 Frantisek.、Reussner、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

0
索取号：
作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Higher Mathematics for Physics and Engineering [electronic resource] : Mathematical Methods for Contemporary Physics

0
索取号：
作者：Nakayama、 Tsuneyoshi.、Shima、 Hiroyuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Analysis of Urban Spatial Networks [electronic resource]

0
索取号：
作者：Blanchard、 Philippe.、Volchenkov、 Dimitri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Mathematics [electronic resource] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

0
索取号：
作者：Kapur、 Deepak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

0
索取号：
作者：Brinkschulte、 Uwe.、Givargis、 Tony.、Russo、 Stefano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Computing [electronic resource] : 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

0
索取号：
作者：Taubenfeld、 Gadi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院